$\forall$$A$:Type, $l$:($A$ List), $n$:$\mathbb{Z}$. (0 $\leq$ $n$) $\Rightarrow$ ($n$ $<$ $\parallel$$l$$\parallel$) $\Rightarrow$ ($l$[$n$] $\in$ $A$)